Categories: E-Books & Audio Books
Types for Proofs and Programs: International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers (Lecture Notes in Computer Science (2277))
256 pages | English | ISBN-10: 3540432876 | ISBN-13: 978-3540432876
Coktum | Comments: (0)
Categories: E-Books & Audio Books
Types for Proofs and Programs: International Workshop, TYPES '95, Torino, Italy, June 5 - 8, 1995 Selected Papers (Lecture Notes in Computer Science (1158))
308 pages | English | ISBN-10: 3540617809 | ISBN-13: 978-3540617808
Coktum | Comments: (0)
18 EPS | PREVIEW | 27 MB
osheemex | Comments: (0)